Buy Used and New Dirk Siefkes Books

Decidable Theories: Vol. 1: Büchi's Monadic Second Order Successor Arithmetic: 120 (Lecture Notes in Mathematics)

by Dirk Siefkes,Gert H. Müller

ISBN 13: 9783540049098

Format: Paperback (144 pages)
Publisher: Springer
Published: 01 Jan 1970

Save for later

Sozialgeschichte der Informatik: Kulturelle Praktiken Und Orientierungen (Studien Zur Wissenschafts- Und Technikforschung) (German Edition)

by Dirk Siefkes

ISBN 13: 9783824443000

Format: Paperback (328 pages)
Publisher: Deutscher Universitätsverlag
Published: 13 Jul 1998

Save for later

Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition): Logik Fur Informatiker

by Dirk Siefkes

ISBN 13: 9783528147570

Format: Paperback (280 pages)
Publisher: Vieweg+Teubner Verlag
Published: 15 Apr 2013

Save for later

The Collected Works of J. Richard Büchi

by J. Richard Büchi,Saunders Mac Lane,Dirk Siefkes

ISBN 13: 9781461389309

Format: Paperback (716 pages)
Publisher: Springer
Published: 10 Nov 2011

Save for later

Pioniere der Informatik: Ihre Lebensgeschichte im Interview

by Dirk Siefkes,Anette Braun,Peter Eulenhöfer

ISBN 13: 9783642636608

Format: Paperback (160 pages)
Publisher: Springer
Published: 11 Dec 1998

Save for later

GI-4.Jahrestagung: Berlin, 9.-12. Oktober 1974: 26 (Lecture Notes in Computer Science)

by Dirk Siefkes

ISBN 13: 9783662391044

Format: Illustrated (764 pages)
Publisher: Springer
Published: 01 Jan 1975

Save for later

Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)

by Dirk Siefkes

ISBN 13: 9783528047573

Format: Illustrated (280 pages)
Publisher: Vieweg+Teubner Verlag
Published: 01 Jan 1990

Save for later

Büchi's Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics)

by Dirk Siefkes

ISBN 13: 9783662358481

Format: Paperback (148 pages)
Publisher: Springer
Published: 01 Jan 1970

Save for later